1. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
پدیدآورنده : Walter A. Carnielli and Luiz Paulo de Alcantara
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985